Note on Zeman's modal system $S4.04$.

A Note on Classical Modal Relevant Algebras

R. Meyer and E. Mares [10] studied the logic CNR, a classical relevant logic with a modal connective. Such logic is of type S4. As it has been noted in [10], the addition of a modal operator in the language of classical relevant logic and the axioms φ ∧ ψ → (φ ∧ ψ) and (φ ∧ ψ) → ( φ ∧ ψ) do not necessarily produce theorems such that as (φ→ ψ) → φ → ψ or (♦φ→ ψ) → (φ→ ψ). These formulas are well...

A Note on Some Explicit Modal Logics

Artemov introduced the Logic of Proofs (LP) as a logic of explicit proofs. We can also offer an epistemic reading of this formula: “t is a possible justification of φ”. Motivated, in part, by this epistemic reading, Fitting introduced a Kripke style semantics for LP in [8]. In this note, we prove soundness and completeness of some axiom systems which are not covered in [8].

A Note on Graded Modal Logi

A Note on Graded Modal Logic

We introduce a notion of bisimulation for graded modal logic. Using these bisimulations the model theory of graded modal logic can be developed in a uniform manner. We illustrate this by establishing the finite model property, and proving invariance and definability results.

A Note on the Gargar Irrigation System

Sasanian’s imperial policy aimed to construct new towns, massive irrigation infrastructures, and land modification bydepopulating rural areas in order to carry out massive agriculture projects particularly in Khuzestan. Shushtar with itsancient relics presents a unique chance to investigate some of these development activities, mainly in terms of irrigation.Several chief irrigation organs have ...